Formal Methods in System Design manuscript No. (will be inserted by the editor) Analyzing Probabilistic Pushdown Automata Tom´asˇ Br´azdil · Javier Esparza · Stefan Kiefer · Anton´ın Kuˇcera

Source URL: www.fi.muni.cz

A Vision of Collaborative Verification-Driven Engineering of Hybrid Systems Stefan Mitsch 1

Source URL: www.cs.bham.ac.uk

• Software
• Theoretical computer science
• Systems engineering
• Unified Modeling Language
• Formal methods
• Logic in computer science
• KeY
• Hybrid system
• Formal verification
• First-order logic
• Proof theory
• Model checking

Using SEC Dav i d L a n g David Lang is a Staff IT Engineer at Intuit, where he has spent more than a decade working

Source URL: www.usenix.org

• Computing
• Software
• Scripting languages
• System administration
• Formal languages
• Expect
• Tk
• Login
• Secure Shell
• Syslog
• Perl
• Scope

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

Formal Specification of a Secure RFID Monitoring System

Source URL: fps2011.dyndns.org

Call for Papers ACM Transactions on Intelligent Systems and Technology (ACM TIST) Special Issue of on SEARCH AND MINING USER GENERATED CONTENTS

Source URL: tist.acm.org

• Data mining
• Computing
• Information
• Data analysis
• Digital media
• Formal sciences
• Web mining
• World Wide Web
• Text mining
• Recommender system
• Social media
• Social media mining

A Morphotactic Infrastructure for a Grammar Customization System Kelly O’Hara A thesis submitted in partial fulfillment of

Source URL: www.delph-in.net

• Linguistics
• Grammar
• Formal languages
• Cognitive science
• Language
• Syntax
• Linguistic typology
• Morphology
• Formal grammar

FliPpr A Prettier Invertible Printing System Kazutaka Matsuda (Univ. of Tokyo) Meng Wang (Chalmers Univ. of Tech.)

Source URL: www2.sf.ecei.tohoku.ac.jp

• Computer programming
• Formal languages
• Software engineering
• Source code
• Software
• Compiler construction
• Parsing
• Prettyprint
• Formal grammar

Biology and Philosophy 14: 83–101, 1999. © 1999 Kluwer Academic Publishers. Printed in the Netherlands. Causality in Complex Systems ANDREAS WAGNER University of New Mexico

Source URL: www.ieu.uzh.ch

• Philosophy
• Academia
• Metaphysics
• Causality
• Philosophy of science
• Formal sciences
• Control theory
• Causal inference
• Mathematical model
• Mathematical and theoretical biology
• Nonlinear system
• Ceteris paribus

Compositional Verification of a Baby Virtual Memory Manager Alexander Vaynberg and Zhong Shao Yale University Abstract. A virtual memory manager (VMM) is a part of an operating system

Source URL: flint.cs.yale.edu

• Formal methods
• Logic in computer science
• Models of computation
• Programming language semantics
• Abstraction
• Kernel
• Abstract state machines
• Semantics
• Denotational semantics
• Operational semantics
• Refinement
• Limit